$array = typed_array('<int>');
$array[] = 123;

try {
    $array[] = '456';
} catch (TypeError $e) {
    Assert::true($e->getMessage()->contains('Array value type mismatch'));
}

$array = typed_array('<int, string>');
$array[999] = 'test';

try {
    $array['hello'] = 'world';
} catch (TypeError $e) {
    Assert::true($e->getMessage()->contains('Array key type mismatch'));
    echo "DONE\n";
}

$string = 'hello world, this is a test string';
Assert::false($string->isEmpty());
Assert::eq($string->length(), strlen($string));
Assert::eq($string->substr(0, 5), 'hello');
Assert::eq($string->contains('world'), true);
Assert::eq($string->indexOf('test'), strpos($string, 'test'));
Assert::eq($string->split(' '), explode(' ', $string));
Assert::true(''->isEmpty());

$array = typed_array('<int>');
$array[0] = 1;
$array[1] = 2;
$array[2] = 3;
$array[3] = 999;
Assert::false($array->isEmpty());
Assert::eq($array->count(), count($array));
Assert::eq($array->slice(0, 2), [1, 2]);
Assert::true($array->contains(999));
Assert::eq($array->search(999), 3);
Assert::true([]->isEmpty());

$filepath = "/tmp/test.txt";
$fp = fopen($filepath, "w+");
$rdata = random_bytes(1024);
Assert::greaterThan($fp->write($rdata->base64Encode()), $rdata->length());
$fp->seek(0);
Assert::eq($rdata, $fp->read(8192)->base64Decode());